7

Preface: Volume 58, Issue 1

Year:
2001
Language:
english
File:
PDF, 42 KB
english, 2001
8

On fixpoint objects and gluing constructions

Year:
1996
Language:
english
File:
PDF, 1.29 MB
english, 1996
10

Computational adequacy of the FIX-logic

Year:
1994
Language:
english
File:
PDF, 1.29 MB
english, 1994
11

Surface Morphology of the Emu (Dromaius novaehollandiae) Tongue

Year:
2010
Language:
english
File:
PDF, 766 KB
english, 2010
17

New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic

Year:
1992
Language:
english
File:
PDF, 1.74 MB
english, 1992
18

Alpha equivalence equalities

Year:
2012
Language:
english
File:
PDF, 303 KB
english, 2012
24

Categories for Types ||

Year:
1994
Language:
english
File:
PDF, 210 KB
english, 1994
28

Quiz Page May 2014

Year:
2014
Language:
english
File:
PDF, 528 KB
english, 2014
35

Computation and Reasoning

Year:
1994
Language:
english
File:
PDF, 240 KB
english, 1994
40

The representational adequacy of Hybrid

Year:
2011
Language:
english
File:
PDF, 574 KB
english, 2011
42

Completeness of bisimilarity for contextual equivalence in linear theories

Year:
2001
Language:
english
File:
PDF, 422 KB
english, 2001
43

Review: Key Java: Advanced Tips and Techniques

Year:
1999
Language:
english
File:
PDF, 90 KB
english, 1999
46

Canonical HybridLF: Extending Hybrid with Dependent Types

Year:
2016
Language:
english
File:
PDF, 232 KB
english, 2016
48

Categories for Types || Advice for the Reader

Year:
1994
Language:
english
File:
PDF, 195 KB
english, 1994